Monday, December 2
Undecidability
Another Undecidability Example